钠冷快速中子增殖反应堆钠火研究综述

核电站是利用原子核裂变反应放出能量发电的装置,其核心是核反应堆。介绍了核电研究背景和钠冷快速中子增殖反应堆,指出钠冷快堆核电站的主要消防安全隐患是钠循环工艺的泄漏火灾,对国内外钠火研究现状进行了详细介绍,提出了钠火研究的主要内容及关键技术。     

检测探头提离效应对管道漏磁检测影响分析

在管道漏磁检测中,检测探头的提离效应对管道缺陷漏磁检测性能影响较大.在对漏磁检测探头提离效应影响因素分析的基础上,分析了管道漏磁检测探头提离效应影响特性;通过建立的模拟漏磁检测探头提离效应影响分析的实验装置系统,提取了传感器、磁化器在不同提离情况下的检测信号.根据实测数据,研究了漏磁检测过程中提离值对漏磁信号的影响趋势...     

军用嵌入式操作系统安全性增强措施

操作系统是紧靠硬件的基础软件,它既是应用软件安全的坚实基础,又是硬件不安全因素的屏蔽器.在操作系统安全隐患和嵌入式操作系统技术特点的基础上,提出信息保护、空间域保护和时间域保护等增强操作系统安全性的几种方法,以提高嵌入式系统抗击系统本身缺陷或敌方恶意攻击等安全威胁的能力.上述几种安全保护技术已在嵌入式Linux中进行验证,并取得满意的结果.     

基于ANSYS软件的管道漏磁场分析

介绍了漏磁场分析的基本理论以及由麦克斯韦方程导出的泊松方程对应的能量泛函,利用基于此理论基础的ANSYS有限元分析软件的ANSYS Multiphysics软件包对管道漏磁场进行模拟仿真,能得出大量缺陷漏磁场数据,这为缺陷漏磁检测定量化打下基础.     

梯度学习的参数控制帮助线程预取模型

对于非规则访存的应用程序,当某个应用程序的访存开销大于计算开销时,传统帮助线程的访存开销会高于主线程的计算开销,从而导致帮助线程落后于主线程。于是提出一种改进的基于参数控制的帮助线程预取模型,该模型采用梯度下降算法对控制参数求解最优值,从而有效地控制帮助线程与主线程的访存任务量,使帮助线程领先于主线程。实验结果表明,基于参数选择的线程预取模型能获得1.1~1.5倍的系统性能加速比。     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

管道金属磁记忆检测技术现状分析及发展研究

针对管道无损检测问题，阐述了金属磁记忆效应的基本原理，与传统无损检测方式比较，归纳了磁记忆检测的基本特性。在磁记忆检测仪器研发现状的基础上，设计了新型管道磁记忆／漏磁综合检测仪。从检测机理、信号处理和缺陷识别3个方面对检测技术研究现状进行分析和总结。探讨了检测机理的局限性，提出管道磁记忆检测技术的研究新方向。     

流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

基于改进人工蜂群算法的漏磁缺陷轮廓重构

漏磁缺陷重构是指由检测到的漏磁信号重构缺陷轮廓及参数,是实现漏磁反演的关键。将局部最优解和全局最优解引入到人工蜂群算法(Artificial Bee Colony Algorithm,ABC)中,提出了一种基于改进人工蜂群算法的缺陷重构模型。在该模型中,径向基函数神经网络作为前向模型求解漏磁信号,改进人工蜂群算法用于求解反演问题中的优化问题。将改进人工蜂群算法和基本人工蜂群算法作为反演算法进行了比较,实验结果表明,改进人工蜂群反演算法精度较高,速度较快,同时对实测信号具有鲁棒性,是一种有效可行的漏磁反演新方法。     

云计算系统虚拟机内存资源预留方法

为降低消费者租借云计算系统资源的开销,提出了成本约束的内存预留随机整数线性规划模型及方法。结合预留计划和按需计划的内存资源价格,设计包含成本及资源总量约束条件的随机开销函数,并以函数期望值最小化为目标,基于内存消耗量概率分布求出优化的内存预留量。试验表明,消费者利用该方法租借资源的开销比利用预留计划、按需计划及同类方法租借资源的开销更小。